Books by author Jonathan P. Bowen

Showing 1 – 20 out of 24 results

1. 

   Formal Methods: State of the Art and New Directions

   Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Springer London Ltd, 2009

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Hardback

   109.50 €

   Buy
2. 

   The Arts and Computational Culture: Real and Virtual Worlds

   Jonathan P. Bowen | Springer, 2025

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   236.84 €

   Sale 7 %

   You save 19.78 €

   Buy
3. 

   Electronic Visualisation in Arts and Culture

   Jonathan P. Bowen, Suzanne Keene, Kia Ng | Springer London Ltd, 2013

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   154.58 €

   Sale 7 %

   You save 12.89 €

   Buy
4. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.64 €

   Sale 9 %

   You save 5.40 €

   Buy
5. 

   Unifying Theories of Programming

   Jonathan P. Bowen, Huibiao Zhu | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.76 €

   Sale 7 %

   You save 4.29 €

   Buy
6. 

   Theories of Programming and Formal Methods

   Jonathan P. Bowen, Qin Li, Qiwen Xu | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   72.22 €

   Sale 7 %

   You save 6.09 €

   Buy
7. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.76 €

   Sale 7 %

   You save 4.29 €

   Buy
8. 

   ZUM '98: The Z Formal Specification Notation

   Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.76 €

   Sale 7 %

   You save 4.29 €

   Buy
9. 

   ZUM '97: The Z Formal Specification Notation

   Jonathan P. Bowen, Michael G. Hinchey, David Till | Springer, Berlin, 1997

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.76 €

   Sale 7 %

   You save 4.29 €

   Buy
10. 

    Abstract State Machines, B and Z

    Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.76 €

    Sale 7 %

    You save 4.29 €

    Buy
11. 

    Formal Methods and Testing

    Robert M. Hierons, Jonathan P. Bowen, Mark Harman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.76 €

    Sale 7 %

    You save 4.29 €

    Buy
12. 

    Industrial-Strength Formal Methods in Practice

    Michael G. Hinchey, Jonathan P. Bowen | Springer London Ltd, 1999

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    151.24 €

    Sale 9 %

    You save 16.23 €

    Buy
13. 

    Electronic Visualisation in Arts and Culture

    Jonathan P. Bowen, Suzanne Keene, Kia Ng | Springer London Ltd, 2016

    
    

    In stock at our supplier - Shipping in 8 - 11 days

    Language: English

    Binding: Paperback

    154.58 €

    Sale 7 %

    You save 12.89 €

    Buy
14. 

    Provably Correct Systems

    Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2017

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    103.12 €

    Sale 7 %

    You save 8.64 €

    Buy
15. 

    Formal Methods: State of the Art and New Directions

    Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Springer London Ltd, 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.12 €

    Sale 7 %

    You save 8.64 €

    Buy
16. 

    Theories of Programming and Formal Methods

    Jonathan P. Bowen, Qin Li, Qiwen Xu | Springer Nature B.V., 2023

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    57.02 €

    Sale 0 %

    You save 0.01 €

    Buy
17. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.64 €

    Sale 9 %

    You save 5.40 €

    Buy
18. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    58.64 €

    Sale 9 %

    You save 6.30 €

    Buy
19. 

    ZB 2002: Formal Specification and Development in Z and B

    Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson | Springer, Berlin, 2002

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.76 €

    Sale 7 %

    You save 4.29 €

    Buy
20. 

    ZUM '95: The Z Formal Specification Notation

    Jonathan P. Bowen, Michael G. Hinchey | Springer, Berlin, 1995

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.12 €

    Sale 7 %

    You save 8.64 €

    Buy

Knihy zasielame v špeciálnych obaloch z pevnej lepenky. Zistite viac